$\forall$$M$:MsgA, $b$:Id. ma{-}prob{-}da{-}dom($M$;$b$) $\in$ $\mathbb{P}$